THE INTERVAL DERIVATIVE AND INTERVAL-DIFFERENTIAL CALCULUS
نویسندگان
چکیده
منابع مشابه
Axiomatizing the Cyclic Interval Calculus
A model for qualitative reasoning about intervals on a cyclic time has been recently proposed by Balbiani and Osmani (Balbiani & Osmani 2000). In this formalism, the basic entities are intervals on a circle, and using considerations similar to Allen’s calculus, sixteen basic relations are obtained, which form a jointly disjunctive and pairwise distinct (JEPD) set of relations. The purpose of th...
متن کاملAllen's Interval Calculus
3 Basic relations 4 3.1 e-composition . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3.2 r-composition . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.3 α-composition . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 3.4 β-composition . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3.5 γ-composition . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.6 γ-...
متن کاملInduction in the Timed Interval Calculus
The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for conca-tention, which facilitates the proof of properties over trace histories. The eeectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Speciically, a safety property relating to the operation of a...
متن کاملMachine-Checking the Timed Interval Calculus
We describe how we used the interactive theorem prover Isabelle to formalise and check the laws of the Timed Interval Calculus (TIC). We also describe some important corrections to, clarifications of, and flaws in these laws, found as a result of our work.
متن کاملComparison of Two Interval Models for Interval-Valued Differential Evolution
The author previously proposed an extension of differential evolution. The proposed method extends the processes of DE to handle interval numbers as genotype values so that DE can be applied to interval-valued optimization problems. The interval DE can employ either of two interval models, the lower and upper model or the center and width model, for specifying genotype values. Ability of the in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Radio Electronics, Computer Science, Control
سال: 2015
ISSN: 2313-688X,1607-3274
DOI: 10.15588/1607-3274-2015-3-3